Kilka uwag o teorii znaczenia Kazimierza Ajdukiewicza

Formalizacja naiwnej teorii typów

Językiem współczesnej matematyki jest teoria mnogości. Praktycznie wszystkie dowody matematyczne przeprowadza się na gruncie teorii zbiorów. Wszystkie książki i artykuły naukowe pisze się zakładając niejawnie aksjomaty ZF lub ZFC. Nawet nauczanie matematyki, od przedszkola po uniwersytet, prowadzi się na gruncie teorii mnogości. Jednak teoria mnogości została wprowadzona w zupełnie innym celu. ...

Stavové rovnice v teorii regulace

Zbieżność sum zależnych zmiennych losowych do α-stabilnych procesów Lévy’ego

Funkcjonalne twierdzenia graniczne na ogół dowodzi się sprawdzając zbieżność rozkładów skończenie wymiarowych oraz ciasność rozkładów w odpowiedniej topologii w przestrzeni Skorochoda [1]. W przypadku zależnych zmiennych losowych, gdy procesem granicznym jest niegaussowski proces Lévy’ego, badanie ciasności rozkładów może być zadaniem wręcz niewykonalnym. Ponadto, nabiera także znaczenia proble...

Effect of Clupeonella grimmi (anchovy/kilka) fish oil on dysmenorrhoea.

To examine whether dietary supplementation with omega-3 fatty acids from Clupeonella grimmi can relieve symptoms of dysmenorrhoea, we carried out a cross-over clinical trial on 36 girls aged 18-22 years. They were randomly allocated into 2 groups of 18. Group A received 15 mL fish oil daily (550 mg eicosapentaenoic acid; 205 mg decosahexaenoic acid) while Group B received placebo. After 3 month...

Comparison between the effects of α-tocopherol and BHT on the lipid oxidation of Kilka fish

Three species of kilka (Clupeonella spp.) in the Caspian Sea have a high commercial value. In Iran it is use to produce canned, marinated packs and paste in making sausage and nugget. Kilka is a nutritious fish with high level of iron and considerable level of polyunsaturated fatty acids making it prone to auto-oxidation. The quality of kilka is the most important factor affects on its products...